ACOEL on CORAL A COmponent Requirement and Abstraction Language
نویسنده
چکیده
CORAL is a language for specifying properties of ACOEL, a component-oriented extensional language. The design of CORAL is based on input/output automata and type state. The properties of ACOEL components that need to be verified are specified using CORAL. A verification engine will then crawl through CORAL and verify whether ACOEL can be safely executed or not. In this paper we focus on CORAL, and show how to specify properties of ACOEL. We will also briefly discuss the concurrent modification problem that is commonly encountered in the iterator design pattern.
منابع مشابه
Molecular diversity and specificity of acoel worms associated with corals in the Gulf of Eilat (Red Sea)
Epizoic acoel worms are known to inhabit several stony coral genera and one soft coral genus in Eilat (Red Sea). Such acoels were recently found to belong to the genus Waminoa and a new species was described: W. brickneri. Worms isolated from several coral species exhibited variability in size and reproductive state, suggesting the presence of more than one species of Waminoa. In the present st...
متن کاملAbstraction-Raising Transformation for Generating Analysis Models
ion-raising Transformation for Generating Analysis Models Antonino Sabetta1, Dorina C. Petriu, Vincenzo Grassi1, Raffaela Mirandola1, 1 University of “Tor Vergata”, Dept. of Informatics, Systems and Production Rome, Italy {sabetta,vgrassi,mirandola}@info.uniroma2.it 2 Carleton University, Department of Systems and Computer Engineering Ottawa, ON Canada, K1S 5B6 [email protected] Abstract. ...
متن کاملEngineering a component language: COMPJAVA
After first great enthusiasm about the new generation of component languages like ArchJava, ComponentJ and ACOEL, a closer inspection and use of these languages identified together with their strong points some smaller, but disturbing drawbacks. It would be harmful if those fine languages which complement OO-languages in a perfect way would not find a wide acceptance due to these drawbacks. The...
متن کاملCORAL: A Model-Based Approach to Risk-Driven Security Testing
The continuous increase of sophisticated cyber security risks exposed to the public, industry, and government through the web, mobile devices, social media, as well as targeted attacks via state-sponsored cyberespionage, clearly show the need for software security. Security testing is one of the most important practices to assure an acceptable level of security. However, security testers face t...
متن کاملStable Photosymbiotic Relationship under CO2-Induced Acidification in the Acoel Worm Symsagittifera Roscoffensis
As a consequence of anthropogenic CO₂ emissions, oceans are becoming more acidic, a phenomenon known as ocean acidification. Many marine species predicted to be sensitive to this stressor are photosymbiotic, including corals and foraminifera. However, the direct impact of ocean acidification on the relationship between the photosynthetic and nonphotosynthetic organism remains unclear and is com...
متن کامل